recursively axiomatizable
递归可公理化
热门查询
- palliate vt. 减轻；掩饰；辩解
- meltdown n. 灾难；彻底垮台；熔化；暴跌
- mattock n. 鹤嘴锄，十字銶
- prog n. 食物；学监；掠夺得的食物 vi. 掠夺
- accrue vt. 获得；积累 vi. 产生；自然增长或利益增加
- mindedness n. 心思; 思想
- Christmas tree n. 【节】圣诞树 [网络] 采油树；耶诞树；装饰圣诞树
- cultish 狂热的
- Dostoevsky 陀斯妥也夫斯基(Fedor Mikhaylovitch, 1821-1881, 俄国小说家)
- Whiggish adj. 辉格党主义的
- Penshurst [人名] 彭斯赫斯特; [地名] [澳大利亚、英国] 彭斯赫斯特
- McCartney n. 麦卡特尼（男子名）
- untangle vt. 清理；整顿；解开…纠结
- extensor n. 伸肌
- handwritten adj. 手写的 v. handwrite的过去分词
- lateralization n. （尤指脑部的）偏侧优势；偏侧性
- plaice n. 鲽鱼；比目鱼
- group n. 组；团体 adj. 群的；团体的 vt. 把…聚集；把…分组 vi. 聚合
- slutty 淫荡的
- undertone n. 低音；浅色；小声；潜在的含意
考试词汇表
- lingual syphilis
- lingual tubercle
- lingualis plexus
- linguistic atlas
- linguistic field
- linguistic index
- linguistic model
- linguistic rules
- linguistic sense
- linguistic skill
- linguistic stock
- linguistic units
- lingula pulmonis
- lingular segment
- linguopapillitis
- linguostylistics
- liniment aconite
- liniment anodyne
- linimentum A.B.C
- linimentum picis
